Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
111	Instructions • Enter your Registration Number here: CMI PG– or here: C– Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2014-09-01 03:15:02 Computability theory Theory of computation Mathematical optimization Algorithm Mathematical logic Halting problem PP Dynamic programming Berlekamp–Massey algorithm Theoretical computer science Applied mathematics Mathematics
112	CHENNAI MATHEMATICAL INSTITUTE M.Sc. / Ph.D. Programme in Computer Science Entrance Examination, 25 May 2012 This question paper has 5 printed sides. Part A has 10 questions of 3 marks each. Part B has 7 questions of 10 Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2013-02-28 10:49:50 Analysis of algorithms Computational complexity theory Algorithm Mathematical logic Dynamic programming Time complexity ATS Randomized algorithm Pseudorandom generator theorem Theoretical computer science Applied mathematics Mathematics
113	Journal of Risk and Uncertainty, 17:87–) © 1998 Kluwer Academic Publishers Dynamic Choice and NonExpected Utility RAKESH SARIN The Anderson Graduate School of Management, UCLA, Los Angeles, CA Add to Reading List Source URL: people.few.eur.nl Language: English - Date: 2015-03-11 05:16:07 Science Logic form Consistency model EndNote Artificial intelligence Information science Decision theory Diagrams Influence diagram
114	CS 373 Homework 1 (dueSpring 1999 Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:54:08 Operations research Dynamic programming Analysis of algorithms Algorithm Mathematical logic Longest increasing subsequence Sorting algorithm Time complexity Greedy algorithm Mathematics Theoretical computer science Applied mathematics
115	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
116	NDC: Analyzing the Impact of 3D-Stacked Memory+Logic Devices on MapReduce Workloads Seth H Pugsley1, Jeffrey Jestes1, Huihui Zhang1 , Rajeev Balasubramonian1 , Vijayalakshmi Srinivasan2, Alper Buyuktosunoglu2, Al Davis1 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2014-02-09 01:02:50 Parallel computing Electronics Blue Gene Multi-core processor MapReduce AMD 10h Dynamic random-access memory CPU cache Computer data storage Computer memory Computing Computer hardware
117	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
118	An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:17 Dynamic programming Markov decision process Stochastic control Interpretation Logic Linear temporal logic Μ operator Statistics Formal languages Model theory
119	Reducing Transistor Variability For High Performance Low Power Chips HOT Chips 24 Dr Robert Rogenmoser Senior Vice President Product Development & Engineering Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-28 00:26:30 Digital electronics Logic families Multigate device Electronic design Computer memory Transistor CMOS Dynamic voltage scaling Field-effect transistor Electronic engineering Electrical engineering Electromagnetism
120	Communica)on-‐Avoiding Algorithms Jim Demmel EECS & Math Departments UC Berkeley Why avoid communica)on? (1/3) Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-11-14 12:22:19 Mathematical logic Theoretical computer science Dynamic random-access memory Speedup Computer memory Computing Algorithm

UPDATE